$\forall$${\it the\_w}$:World, $i$:Id, $a$:Action($i$). ($\neg$($\uparrow$isnull($a$))) $\Rightarrow$ (valtype($i$;$a$) $\in$ Type)